Type variable - PDFSEARCH.IO - Document Search Engine

Type variable
Results: 393

#	Item
71	Property Inference for Maple: An Application of Abstract Interpretation Jacques Carette1 Stephen Forrest1 Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2007-06-24 16:58:38 Data types Computer programming Object-oriented programming Functional programming Polymorphism Type system Variable Type class C Software engineering Computing Type theory
72	Biological Data Variables by Type Download latest PDF Download Submissions Guidelines PDF Last change: Generated::12:06 PM Each ancillary variable corresponds to one or more rows in the BADM template Add to Reading List Source URL: www.fluxdata.org Language: English - Date: 2009-04-12 17:25:29 Plants Forests Ecosystems Agronomy Remote sensing Tree Litterfall Root Biomass Biology Terminology Knowledge
73	On-the-fly Inlining of Dynamic Security Monitors Jonas Magazinius, Alejandro Russo, and Andrei Sabelfeld Dept. of Computer Science and Engineering, Chalmers University of TechnologyGothenburg, Sweden, Fax: +46 31 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:02 Data types Type theory Scripting languages Subroutines Inline expansion Eval Variable Information flow Scope Software engineering Computing Computer programming
74	University of California, Berkeley - Soda Hall Quick Facts: Facility Type: 116,000 sq ft building with computer labs, classrooms Project Date: 2005 Summary: Used historical data supplemented by data loggers to identify Add to Reading List Source URL: www.cacx.org Language: English - Date: 2008-04-16 20:21:25 Energy conservation Sustainable building Building engineering Architecture Engineering Technology Energy service company Heating ventilating and air conditioning Mechanical engineering Variable air volume
75	Scheme Type Recovery 1 1 Introduction Scheme is a latently typed language [R3RS]. This means that unlike statically typed languages such Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:16 Type theory Data types Functional languages Lisp programming language Cross-platform software Continuation-passing style Type safety Variable Common Lisp Software engineering Computing Programming language theory
76	MITFallLecture 3 c W.C Carter Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-05 10:03:01 Type theory Cross-platform software Procedural programming languages Data types Pattern matching Assignment Variable Function Static single assignment form Software engineering Computing Mathematics
77	Biological Data Variables by Type Download PDF Download Submissions Guidelines PDF Last change: Generated::40:56 PM Each ancillary variable corresponds to one or more rows in the BADM template. When t Add to Reading List Source URL: bwc.berkeley.edu Language: English - Date: 2009-03-09 18:41:02 Plants Forests Ecosystems Agronomy Remote sensing Tree Litterfall Root Biomass Biology Terminology Knowledge
78	PDF Document Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2014-07-29 12:45:23 Computer programming Array data type Variable C Windows Registry String Symbol Software engineering Computing Data types
79	Aerosol type … is a categorial / qualitative variable … is input needed for (ill-posed) retrievals / affects accuracy (AOD …) … is output from retrievals to some extent (AERONET, satellite) … is estimated from Add to Reading List Source URL: aerocom.met.no Language: English - Date: 2014-10-27 06:21:07 AERONET Aerosol LIDAR Multi-angle Imaging SpectroRadiometer Earth Meteorology Atmospheric sciences Aerosol science
80	Type I and II Cepheids in the K2 Campaigns 2 & 3 L. Moln´ar1,2 , E. Plachy1,2 , R. Szab´o1 , P. A. Moskalik3 , N. R. Evans4 , and the KASC RR Lyrae-Cepheid WG 1 Konkoly Observatory, Hungary; 2 University of West Hunga Add to Reading List Source URL: keplerscience.arc.nasa.gov Language: English - Date: 2015-04-02 16:37:17 Astronomy Cepheid variables Astrophysics Physical cosmology Classical Cepheid variable Type II Cepheid Cosmic distance ladder Star Standard candles Astrometry Variable stars

UPDATE